Lean 4

Kas AI lahendas Navier-Stokesi? 722 käsikirja ja uus ajastu

OpenAI vapustas matemaatikamaailma, avaldades 722 käsikirja, mis võivad sisaldada Navier-Stokesi probleemi lahendust. Kasutades Lean 4 keelt, on masinad asunud …